$\forall$${\it as}$,${\it bs}$:(top List). sqequal($\parallel$append(${\it as}$; ${\it bs}$)$\parallel$; ($\parallel$${\it as}$$\parallel$ + $\parallel$${\it bs}$$\parallel$))